add reference to: 'Logic programming for software-defined networks'
merge README