A theory of hypothesis finding in clausal logic

2002

Akihiro Yamamoto, Bertram Fronhöfer

in: Progress in discovery science, Berlin,