{"_id":"E7PhTaatoGK4e7sGy","bibbaseid":"giunchiglia-giunchiglia-buildingcomplexderivedinferencerulesadeciderfortheclassofprenexuniversalexistentialformulas-1988","author_short":["Giunchiglia, F.","Giunchiglia, E."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Fausto"],"propositions":[],"lastnames":["Giunchiglia"],"suffixes":[]},{"firstnames":["Enrico"],"propositions":[],"lastnames":["Giunchiglia"],"suffixes":[]}],"editor":[{"firstnames":["Yves"],"propositions":[],"lastnames":["Kodratoff"],"suffixes":[]}],"title":"Building Complex Derived Inference Rules: A Decider for the Class of Prenex Universal-Existential Formulas","booktitle":"8th European Conference on Artificial Intelligence, ECAI 1988, Munich, Germany, August 1-5, 1988, Proceedings","pages":"607–609","publisher":"Pitmann Publishing, London","year":"1988","timestamp":"Tue, 30 Jul 2019 13:42:25 +0200","biburl":"https://dblp.org/rec/conf/ecai/GiunchigliaG88.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/ecai/GiunchigliaG88,\n author = {Fausto Giunchiglia and\n Enrico Giunchiglia},\n editor = {Yves Kodratoff},\n title = {Building Complex Derived Inference Rules: {A} Decider for the Class\n of Prenex Universal-Existential Formulas},\n booktitle = {8th European Conference on Artificial Intelligence, {ECAI} 1988, Munich,\n Germany, August 1-5, 1988, Proceedings},\n pages = {607--609},\n publisher = {Pitmann Publishing, London},\n year = {1988},\n timestamp = {Tue, 30 Jul 2019 13:42:25 +0200},\n biburl = {https://dblp.org/rec/conf/ecai/GiunchigliaG88.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Giunchiglia, F.","Giunchiglia, E."],"editor_short":["Kodratoff, Y."],"key":"DBLP:conf/ecai/GiunchigliaG88","id":"DBLP:conf/ecai/GiunchigliaG88","bibbaseid":"giunchiglia-giunchiglia-buildingcomplexderivedinferencerulesadeciderfortheclassofprenexuniversalexistentialformulas-1988","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/g/EnricoGiunchiglia.bib","dataSources":["dnfNFBJhCgMcJQMDG"],"keywords":[],"search_terms":["building","complex","derived","inference","rules","decider","class","prenex","universal","existential","formulas","giunchiglia","giunchiglia"],"title":"Building Complex Derived Inference Rules: A Decider for the Class of Prenex Universal-Existential Formulas","year":1988}