Michael Codish, Bart Demoen. Deriving Polymorphic Type Dependencies for Logic Programs using Multiple Incarnations of Prop. In María Alpuente, Roberto Barbuti, Isidro Ramos, editors, 1994 Joint Conference on Declarative Programming, GULP-PRODE 94 Peñiscola, Spain, September 19-22, 1994, Volume 1. pages 327-341, 1994.
@inproceedings{CodishD94,
title = {Deriving Polymorphic Type Dependencies for Logic Programs using Multiple Incarnations of Prop},
author = {Michael Codish and Bart Demoen},
year = {1994},
tags = {logic, logic programming},
researchr = {http://researchr.org/publication/CodishD94},
cites = {0},
citedby = {0},
pages = {327-341},
booktitle = {1994 Joint Conference on Declarative Programming, GULP-PRODE 94 Peñiscola, Spain, September 19-22, 1994, Volume 1},
editor = {María Alpuente and Roberto Barbuti and Isidro Ramos},
}