Hans-Joachim Goltz. Logic Programming with Constructor-based Type Constraints. In ICLP. pages 36-45, 1994. [doi]
@inproceedings{Goltz94,
title = {Logic Programming with Constructor-based Type Constraints},
author = {Hans-Joachim Goltz},
year = {1994},
url = {http://www-i2.informatik.rwth-aachen.de/hanus/publications/reports/MPI-I-94-224/paper04.ps.Z},
tags = {rule-based, constraints, logic programming, programming, logic},
researchr = {https://researchr.org/publication/Goltz94},
cites = {0},
citedby = {0},
pages = {36-45},
booktitle = {ICLP},
}