Path dependent analysis of logic programs

Lunjin Lu. Path dependent analysis of logic programs. In ASIA-PEPM. pages 63-74, 2002. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: