%0 Journal Article %1 journals/acta/BusscheC98 %A den Bussche, Jan Van %A Cabibbo, Luca %D 1998 %J Acta Informatica %K dblp %N 8 %P 637-643 %T Converting Untyped Formulas to Typed Ones. %U http://dblp.uni-trier.de/db/journals/acta/acta35.html#BusscheC98 %V 35

@article{journals/acta/BusscheC98, added-at = {2021-04-09T00:00:00.000+0200}, author = {den Bussche, Jan Van and Cabibbo, Luca}, biburl = {https://www.bibsonomy.org/bibtex/2381b120d57b01a0393e8b63fda668bb1/dblp}, ee = {https://doi.org/10.1007/s002360050135}, interhash = {0dc974698be9f3a8005c835fc490eaf5}, intrahash = {381b120d57b01a0393e8b63fda668bb1}, journal = {Acta Informatica}, keywords = {dblp}, number = 8, pages = {637-643}, timestamp = {2024-04-08T16:44:02.000+0200}, title = {Converting Untyped Formulas to Typed Ones.}, url = {http://dblp.uni-trier.de/db/journals/acta/acta35.html#BusscheC98}, volume = 35, year = 1998 }