Factoring pure logic programs (2003)

by A Poswolsky, C Schurmann