Proof Procedure and Answer Extraction in Petri Net Model of Logic Programs. - George Peterka; Tadao Murata (IEEE Trans. Software Eng., 1989)