Items where Author is "Smolka, G"
![[up]](/style/images/multi_up.png)
Up a levelGroup by: Type | No Grouping
Number of items: 1.
Howe, J. M. & King, A. (2000). Implementing Groundness Analysis with Definite Boolean Functions. Lecture Notes in Computer Science, 1782, pp. 200-214.
Howe, J. M. & King, A. (2000). Implementing Groundness Analysis with Definite Boolean Functions. Lecture Notes in Computer Science, 1782, pp. 200-214.