%0 Journal Article %1 journals/jolli/SerafiniG02 %A Serafini, Luciano %A Giunchiglia, Fausto %D 2002 %J J. Log. Lang. Inf. %K dblp %N 4 %P 471-518 %T ML Systems: A Proof Theory for Contexts. %U http://dblp.uni-trier.de/db/journals/jolli/jolli11.html#SerafiniG02 %V 11

@article{journals/jolli/SerafiniG02, added-at = {2020-09-17T00:00:00.000+0200}, author = {Serafini, Luciano and Giunchiglia, Fausto}, biburl = {https://www.bibsonomy.org/bibtex/248d9d14cccf9f4dd879624270367186f/dblp}, ee = {https://www.wikidata.org/entity/Q57302687}, interhash = {9720df955803506ff55d5f100f7d1737}, intrahash = {48d9d14cccf9f4dd879624270367186f}, journal = {J. Log. Lang. Inf.}, keywords = {dblp}, number = 4, pages = {471-518}, timestamp = {2020-09-18T11:45:34.000+0200}, title = {ML Systems: A Proof Theory for Contexts.}, url = {http://dblp.uni-trier.de/db/journals/jolli/jolli11.html#SerafiniG02}, volume = 11, year = 2002 }