@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",

}