@inproceedings{0faaf5a349a5427f91d27d4c4228b938,
title = "An extension of rabin{\textquoteright}s complete proof concept",
author = "Jaromczyk, {Jerzy W.}",
year = "1981",
doi = "10.1007/3-540-10856-4_99",
language = "English",
isbn = "9783540108566",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "321--326",
editor = "Jozef Gruska and Michal Chytil",
booktitle = "Mathematical Foundations of Computer Science 1981 - Proceedings, 10th Symposium",
note = "10th Symposium on Mathematical Foundations of Computer Science, MFCS 1981 ; Conference date: 31-08-1981 Through 04-09-1981",
}