%0 Conference Paper %1 conf/iclp/Goltz94 %A Goltz, Hans-Joachim %B ICLP Workshop: Integration of Declarative Paradigms %D 1994 %E Aït-Kaci, Hassan %E Hanus, Michael %E Moreno-Navarro, Juan José %I Max-Planck-Institut für Informatik, Saarbrücken, Germany %K dblp %P 36-45 %T Logic Programming with Constructor-based Type Constraints. %U http://dblp.uni-trier.de/db/conf/iclp/iclp94-w8.html#Goltz94

@inproceedings{conf/iclp/Goltz94, added-at = {2013-12-02T00:00:00.000+0100}, author = {Goltz, Hans-Joachim}, biburl = {https://www.bibsonomy.org/bibtex/29ba7d84538ae64b8e4e6a51d0c4f4d19/dblp}, booktitle = {ICLP Workshop: Integration of Declarative Paradigms}, crossref = {conf/iclp/1994w8}, editor = {Aït-Kaci, Hassan and Hanus, Michael and Moreno-Navarro, Juan José}, ee = {http://www-i2.informatik.rwth-aachen.de/hanus/publications/reports/MPI-I-94-224/paper04.ps.Z}, interhash = {abbf58fd0b1bc3e8023e5262b075a254}, intrahash = {9ba7d84538ae64b8e4e6a51d0c4f4d19}, keywords = {dblp}, pages = {36-45}, publisher = {Max-Planck-Institut für Informatik, Saarbrücken, Germany}, timestamp = {2013-12-03T11:35:24.000+0100}, title = {Logic Programming with Constructor-based Type Constraints.}, url = {http://dblp.uni-trier.de/db/conf/iclp/iclp94-w8.html#Goltz94}, year = 1994 }