Effiziente Lösung hochdimensionaler BOOLEscher Probleme mittels XBOOLE auf Transputer. - Bernd Steinbach; Nico Kümmling (Transputer-Anwender-Treffen, 1990)