Consistency constraints for input/output logic: a comparative review (bibtex)
@inproceedings{Torre2000ConsistencyConstraint,
  author = {Makinson, D. and van der Torre, L.},
  booktitle = {Proceedings of the Fifth Workshop on Deontic Logic in Computer Science (Deon'2000), Toulouse},
  date-modified = {2011-12-20 17:14:26 +0100},
  pages = {261-280},
  title = {Consistency constraints for input/output logic: a comparative review},
  url = {http://icr.uni.lu/leonvandertorre/papers/deon00b.pdf},
  year = {2000},
  bdsk-url-1 = {http://icr.uni.lu/leonvandertorre/papers/deon00b.pdf}
}
Powered by bibtexbrowser