%0 Conference Paper %1 conf/jelia/MartinG00 %A Martín, Pedro J. %A Gavilanes, Antonio %B JELIA %D 2000 %E Ojeda-Aciego, Manuel %E de Guzmán, Inman P. %E Brewka, Gerhard %E Pereira, Luís Moniz %I Springer %K dblp %P 193-208 %T Simultaneous Rigid Sorted Unification. %U http://dblp.uni-trier.de/db/conf/jelia/jelia2000.html#MartinG00 %V 1919 %@ 3-540-41131-3

@inproceedings{conf/jelia/MartinG00, added-at = {2017-05-24T00:00:00.000+0200}, author = {Martín, Pedro J. and Gavilanes, Antonio}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/25ea16324ecf77fe41cea15148f2cd385/dblp}, booktitle = {JELIA}, crossref = {conf/jelia/2000}, editor = {Ojeda-Aciego, Manuel and de Guzmán, Inman P. and Brewka, Gerhard and Pereira, Luís Moniz}, ee = {https://doi.org/10.1007/3-540-40006-0_14}, interhash = {410bed33c1b1d72e135559a0ff205ae9}, intrahash = {5ea16324ecf77fe41cea15148f2cd385}, isbn = {3-540-41131-3}, keywords = {dblp}, pages = {193-208}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T17:10:37.000+0200}, title = {Simultaneous Rigid Sorted Unification.}, url = {http://dblp.uni-trier.de/db/conf/jelia/jelia2000.html#MartinG00}, volume = 1919, year = 2000 }