Bernd I. Dahn. Boolean Valued Models and Incomplete Specifications. In Jan Grabowski, Pierre Lescanne, Wolfgang Wechler, editors, International Workshop on Algebraic and Logic Programming. Volume 343 of Lecture Notes in Computer Science, pages 119-126, Springer, Gaussig, GDR, 1988.
Abstract is missing.