Merkliste 
 1 Ergebnisse 
 
1

Extension and equivalence problems for clause minimal formu..:

Kleine Büning, Hans ; Zhao, Xishun
Annals of Mathematics and Artificial Intelligence.  43 (2004)  1-4 - p. 295-306 , 2004