Records for Logic Programming (1994)

Cached

Download Links

by Gert Smolka , Ralf Treinen
Venue:Journal of Logic Programming
Citations:95 - 17 self