%0 Conference Paper %1 conf/sas/NielsonNS02 %A Nielson, Flemming %A Nielson, Hanne Riis %A Seidl, Helmut %B SAS %D 2002 %E Hermenegildo, Manuel V. %E Puebla, Germán %I Springer %K %P 20-35 %T Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi. %U http://dblp.uni-trier.de/db/conf/sas/sas2002.html#NielsonNS02 %V 2477 %@ 3-540-44235-9

@inproceedings{conf/sas/NielsonNS02, added-at = {2023-12-12T22:43:43.000+0100}, author = {Nielson, Flemming and Nielson, Hanne Riis and Seidl, Helmut}, biburl = {https://www.bibsonomy.org/bibtex/2cefd59fd728b3046a1fcfafcd5096f7e/admin}, booktitle = {SAS}, crossref = {conf/sas/2002}, editor = {Hermenegildo, Manuel V. and Puebla, Germán}, ee = {https://doi.org/10.1007/3-540-45789-5_5}, interhash = {4d7574ec533a0d8ed1d0509d2e90555f}, intrahash = {cefd59fd728b3046a1fcfafcd5096f7e}, isbn = {3-540-44235-9}, keywords = {}, pages = {20-35}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T22:43:43.000+0100}, title = {Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi.}, url = {http://dblp.uni-trier.de/db/conf/sas/sas2002.html#NielsonNS02}, volume = 2477, year = 2002 }