Liwu Li;Jia-Huai You
-;-
High-Level Petri Net Model of Logic Program with Negation
IEEE Transactions on Knowledge and Data Engineering
Stationary Default Extensions
Fundamenta Informaticae