A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs.

Paolo Volpe A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs. 184-199 http://link.springer.de/link/service/series/0558/bibs/1503/15030184.htm 1998 conf/sas/1998 SAS db/conf/sas/sas98.html#Volpe98