%0 Conference Paper %1 conf/lpar/AfshordelHW01 %A Afshordel, Bijan %A Hillenbrand, Thomas %A Weidenbach, Christoph %B LPAR %D 2001 %E Nieuwenhuis, Robert %E Voronkov, Andrei %I Springer %K %P 309-319 %T First-Order Atom Definitions Extended. %U http://dblp.uni-trier.de/db/conf/lpar/lpar2001.html#AfshordelHW01 %V 2250 %@ 3-540-42957-3

@inproceedings{conf/lpar/AfshordelHW01, added-at = {2023-12-12T18:07:13.000+0100}, author = {Afshordel, Bijan and Hillenbrand, Thomas and Weidenbach, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/22a3bd062e94752a4e62025185ce8d306/admin}, booktitle = {LPAR}, crossref = {conf/lpar/2001}, editor = {Nieuwenhuis, Robert and Voronkov, Andrei}, ee = {https://doi.org/10.1007/3-540-45653-8_21}, interhash = {0dabc293bd424fc1561c61dd0d958769}, intrahash = {2a3bd062e94752a4e62025185ce8d306}, isbn = {3-540-42957-3}, keywords = {}, pages = {309-319}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T18:07:13.000+0100}, title = {First-Order Atom Definitions Extended.}, url = {http://dblp.uni-trier.de/db/conf/lpar/lpar2001.html#AfshordelHW01}, volume = 2250, year = 2001 }