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

by W W Vasconcelos, E X Meneses
Venue:of Lecture Notes in Computer Science