3rd International Workshop on

Boolean Problems

Freiberg University of Mining and Technology
Institute of Computer Science
(September 17-18, 1998)