A Practical Approach for Logic Program Analysis and Transformation (2000)

by W W Vasconcelos, E X Meneses
Venue:Lecture Notes in Computer Science (Advances in Artificial Intelligence