%0 Journal Article %1 journals/fuin/Nguyen06 %A Nguyen, Linh Anh %D 2006 %J Fundam. Informaticae %K dblp %N 4 %P 351-366 %T Negative Ordered Hyper-Resolution as a Proof Procedure for Disjunctive Logic Programming. %U http://dblp.uni-trier.de/db/journals/fuin/fuin70.html#Nguyen06 %V 70

@article{journals/fuin/Nguyen06, added-at = {2020-09-18T00:00:00.000+0200}, author = {Nguyen, Linh Anh}, biburl = {https://www.bibsonomy.org/bibtex/20cdf68a26f23d36b8171a1b41dcd25b6/dblp}, ee = {http://content.iospress.com/articles/fundamenta-informaticae/fi70-4-04}, interhash = {db2deaf4edb340f1e0e3978e44b6267a}, intrahash = {0cdf68a26f23d36b8171a1b41dcd25b6}, journal = {Fundam. Informaticae}, keywords = {dblp}, number = 4, pages = {351-366}, timestamp = {2020-09-19T11:38:28.000+0200}, title = {Negative Ordered Hyper-Resolution as a Proof Procedure for Disjunctive Logic Programming.}, url = {http://dblp.uni-trier.de/db/journals/fuin/fuin70.html#Nguyen06}, volume = 70, year = 2006 }