%0 Conference Paper %1 journals/entcs/CenciarelliT05 %A Cenciarelli, Pietro %A Tiberi, Alessandro %B TERMGRAPH %D 2004 %E Fernández, Maribel %I Elsevier %K dblp %N 5 %P 3-20 %T Rational Unification in 28 Characters. %U http://dblp.uni-trier.de/db/conf/termgraph/termgraph2004.html#CenciarelliT05 %V 127

@inproceedings{journals/entcs/CenciarelliT05, added-at = {2022-12-12T00:00:00.000+0100}, author = {Cenciarelli, Pietro and Tiberi, Alessandro}, biburl = {https://www.bibsonomy.org/bibtex/255de74ca332b562ed3965e8fb2e51257/dblp}, booktitle = {TERMGRAPH}, crossref = {conf/termgraph/2004}, editor = {Fernández, Maribel}, ee = {https://doi.org/10.1016/j.entcs.2005.02.013}, interhash = {fc2ddeccd28a30cd97e5f7372eb183ac}, intrahash = {55de74ca332b562ed3965e8fb2e51257}, keywords = {dblp}, number = 5, pages = {3-20}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T10:20:14.000+0200}, title = {Rational Unification in 28 Characters.}, url = {http://dblp.uni-trier.de/db/conf/termgraph/termgraph2004.html#CenciarelliT05}, volume = 127, year = 2004 }