search author

DBLP BibTeX Record 'conf/iclp/Harel90'

@inproceedings{DBLP:conf/iclp/Harel90,
  author    = {David Harel},
  title     = {How Hard Is It to Reason about Propositional Programs?},
  booktitle = {ICLP},
  year      = {1990},
  pages     = {772-773},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}