%0 Conference Paper %1 conf/plilp/Arenas-SanchezD95 %A Arenas-Sánchez, Puri %A Dovier, Agostino %B PLILP %D 1995 %E Hermenegildo, Manuel V. %E Swierstra, S. Doaitse %I Springer %K dblp %P 397-414 %T Minimal Set Unification %U http://dblp.uni-trier.de/db/conf/plilp/plilp95.html#Arenas-SanchezD95 %V 982 %@ 3-540-60359-X

@inproceedings{conf/plilp/Arenas-SanchezD95, added-at = {2017-06-15T00:00:00.000+0200}, author = {Arenas-Sánchez, Puri and Dovier, Agostino}, biburl = {https://www.bibsonomy.org/bibtex/2bbc5161f6d2f635c6eb7c2ff353cf350/dblp}, booktitle = {PLILP}, crossref = {conf/plilp/95}, editor = {Hermenegildo, Manuel V. and Swierstra, S. Doaitse}, ee = {https://doi.org/10.1007/BFb0026832}, interhash = {08dfa69facb9a1c449756d120457ad75}, intrahash = {bbc5161f6d2f635c6eb7c2ff353cf350}, isbn = {3-540-60359-X}, keywords = {dblp}, pages = {397-414}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:14:19.000+0200}, title = {Minimal Set Unification}, url = {http://dblp.uni-trier.de/db/conf/plilp/plilp95.html#Arenas-SanchezD95}, volume = 982, year = 1995 }