How Hard Is It to Reason about Propositional Programs?

David Harel

Browse the full ICLP paper archive.