Types in Logic Programming door Frank Pfenning