Grigori Schwarz Miroslaw Truszczynski Minimal Knowledge Problem: A New Approach. 113-141 1994 67 Artif. Intell. 1 db/journals/ai/ai67.html#SchwarzT94