Enviar aquest missatge de text: Types in logic programming / edited by Frank Pfenning.