@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}
}