Pos(T): Analyzing Dependencies in Typed Logic Programs (2001)

by Maurice Bruynooghe , Wim Vanhoof , Michael Codish
Venue:Presented at the Andrei Ershov Fourth International Conference on Perspectives of System Informatics
Citations:5 - 3 self