in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743
Volume: 363 LNCS, Pages: 41-62
Conference
International Symposium on Logical Foundations of Computer Science, 1989, Date: 3 July 1989 through 8 July 1989
