Bernd I. Dahn Boolean Valued Models and Incomplete Specifications. 225-236 1992 12 J. Log. Program. 3&4 db/journals/jlp/jlp12.html#Dahn92