%0 Journal Article %1 journals/ai/McAllesterG92 %A McAllester, David A. %A Givan, Robert %D 1992 %J Artif. Intell. %K %N 1 %P 1-20 %T Natural Language Syntax and First-Order Inference. %U http://dblp.uni-trier.de/db/journals/ai/ai56.html#McAllesterG92 %V 56

@article{journals/ai/McAllesterG92, added-at = {2023-12-12T23:46:10.000+0100}, author = {McAllester, David A. and Givan, Robert}, biburl = {https://www.bibsonomy.org/bibtex/257cd5a876d56e31b03228233b63a0513/admin}, ee = {http://dx.doi.org/10.1016/0004-3702(92)90063-4}, interhash = {59fbbd7efa5d4e7209b93eee59887b63}, intrahash = {57cd5a876d56e31b03228233b63a0513}, journal = {Artif. Intell.}, keywords = {}, number = 1, pages = {1-20}, timestamp = {2023-12-12T23:46:10.000+0100}, title = {Natural Language Syntax and First-Order Inference.}, url = {http://dblp.uni-trier.de/db/journals/ai/ai56.html#McAllesterG92}, volume = 56, year = 1992 }