b'@inproceedings{AfshordelHillenbrandWeidenbach01,'b'\nTITLE = {First-Order Atom Definitions Extended},\nAUTHOR = {Afshordel, Bijan and Hillenbrand, Thomas and Weidenbach, Christoph},\nLANGUAGE = {eng},\nLOCALID = {Local-ID: C1256104005ECAFC-A264C8F3F6DB9CF1C1256B4F004DCA17-AfshordelHillenbrandWeidenbach01},\nPUBLISHER = {Springer},\nYEAR = {2001},\nDATE = {2001},\nBOOKTITLE = {Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-2001)},\nEDITOR = {Nieuwenhuis, Robert and Voronkov, Andrei},\nPAGES = {309--319},\nSERIES = {Lecture Notes in Artificial Intelligence},\nVOLUME = {2250},\n}\n'