Year: 1987
Title: Unification as a Complexity Measure for Logic Programming
Journal: Journal of Logic Programming, 4, 105-117
Keywords: LOGIC, SOFTWARE, COMPLEXITY,
| Top | Authors | Journals | Years | Keywords | Search | New | Comments |