An Extended Petri Net Model for Normal Logic Programs.

Teruhiro Shimura Jorge Lobo Tadao Murata An Extended Petri Net Model for Normal Logic Programs. 150-162 1995 7 IEEE Trans. Knowl. Data Eng. 1 db/journals/tkde/tkde7.html#ShimuraLM95 db/journals/tkde/ShimuraLM95.html TKDE7/k0150.pdf journals/jacm/AptE82 conf/lpnmr/BaralS91 conf/iclp/GelfondL88 conf/lpnmr/GelfondP91 conf/ifip/Lifschitz89 ... books/sp/Lloyd87 conf/iclp/MarekS89 ... journals/tkde/MurataSW91 ... journals/tse/MurataZ88 ... conf/pods/Przymusinski89 books/mk/minker88/Przymusinski88 conf/kr/Przymusinski89 journals/ai/Reiter80 ... journals/jacm/EmdenK76 conf/pods/Gelder89 journals/jacm/GelderRS91 ... ...