Jarkko Kari. A Cryptosystem Based on Propositional Logic. In Jürgen Dassow, Jozef Kelemen, editors, Machines, Languages, and Complexity, 5th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18, 1988, Proceedings. Volume 381 of Lecture Notes in Computer Science, pages 210-219, Springer, 1988.
@inproceedings{Kari88, title = {A Cryptosystem Based on Propositional Logic}, author = {Jarkko Kari}, year = {1988}, tags = {rule-based, logic}, researchr = {https://researchr.org/publication/Kari88}, cites = {0}, citedby = {0}, pages = {210-219}, booktitle = {Machines, Languages, and Complexity, 5th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18, 1988, Proceedings}, editor = {Jürgen Dassow and Jozef Kelemen}, volume = {381}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-51516-X}, }