Article,
A Minimality Study for Set Unification.
P. Arenas-Sánchez, and A. Dovier.J. Funct. Log. Program., (1997)
Meta data
- BibTeX key
- journals/jflp/Arenas-SanchezD97
- entry type
- article
- year
- 1997
- journal
- J. Funct. Log. Program.
- number
- 7
- volume
- 1997
- ee
- http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1997/A97-07/A97-07.html
- url
- http://dblp.uni-trier.de/db/journals/jflp/jflp1997.html#Arenas-SanchezD97
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/jflp/Arenas-SanchezD97
%A Arenas-Sánchez, Puri
%A Dovier, Agostino
%D 1997
%J J. Funct. Log. Program.
%K dblp
%N 7
%T A Minimality Study for Set Unification.
%U http://dblp.uni-trier.de/db/journals/jflp/jflp1997.html#Arenas-SanchezD97
%V 1997
@article{journals/jflp/Arenas-SanchezD97,
added-at = {2020-04-01T00:00:00.000+0200},
author = {Arenas-Sánchez, Puri and Dovier, Agostino},
biburl = {https://www.bibsonomy.org/bibtex/258acbea687df9b5acc9492e847eff7a6/dblp},
ee = {http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1997/A97-07/A97-07.html},
interhash = {16432b59c5a95abd8b7d61ee3c140226},
intrahash = {58acbea687df9b5acc9492e847eff7a6},
journal = {J. Funct. Log. Program.},
keywords = {dblp},
number = 7,
timestamp = {2020-04-02T11:58:05.000+0200},
title = {A Minimality Study for Set Unification.},
url = {http://dblp.uni-trier.de/db/journals/jflp/jflp1997.html#Arenas-SanchezD97},
volume = 1997,
year = 1997
}