%0 Journal Article %1 journals/ai/SchaubB98 %A Schaub, Torsten %A Brüning, Stefan %D 1998 %J Artif. Intell. %K %N 1 %P 1-75 %T Prolog Technology for Default Reasoning: Proof Theory and Compilation Techniques. %U http://dblp.uni-trier.de/db/journals/ai/ai106.html#SchaubB98 %V 106

@article{journals/ai/SchaubB98, added-at = {2023-12-13T02:40:12.000+0100}, author = {Schaub, Torsten and Brüning, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/20c2750441bc3eb28cae769673e4f9954/admin}, date = {2003-11-19}, ee = {http://dx.doi.org/10.1016/S0004-3702(98)00092-7}, interhash = {8220447f75d1c95ab2aba71f1b5ddd7e}, intrahash = {0c2750441bc3eb28cae769673e4f9954}, journal = {Artif. Intell.}, keywords = {}, number = 1, pages = {1-75}, timestamp = {2023-12-13T02:40:12.000+0100}, title = {Prolog Technology for Default Reasoning: Proof Theory and Compilation Techniques.}, url = {http://dblp.uni-trier.de/db/journals/ai/ai106.html#SchaubB98}, volume = 106, year = 1998 }