On types and type consistency in logic programming

@inproceedings{Meyer2000OnTA,
  title={On types and type consistency in logic programming},
  author={Gregor Meyer},
  booktitle={DISKI},
  year={2000}
}