Neil C. Rowe. Inference-Security Analysis Using Resolution Theorem-Proving. In Proceedings of the Fifth International Conference on Data Engineering, February 6-10, 1989, Los Angeles, California, USA. pages 410-416, IEEE Computer Society, 1989. [doi]
Abstract is missing.