Representing Transition Systems by Logic Programs.

Vladimir Lifschitz, Hudson Turner

Browse the full LPNMR paper archive.