Algebra and Logic

Proceedings Paper
Kahle,R;Studer,T
Computer Science Logic, 14th Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000, Proceedings

Lecture Notes in Computer Science
2000
1862

356-370
10.1007/3-540-44622-2_24