David Luckham

Robinson J. A.. A machine-oriented logic based on the resolution principle. Journal of the Association for Computing Machinery , vol. 12 (1965), pp. 23–41.

David Luckham, 1966 .

Modeling and Causal Event Simulation of Electronic Business Processes

Sumit Bhansali, David Luckham, D. Luckham, 2022 .

THE UNDECIDABILITY OF THE EQUIVALENCE PROBLEM FOR PROGRAM SCHEMATA.

David Luckham, David Park, 1964 .

TSL: task sequencing language

David Luckham, D. Helmbold, D. Luckham, 1985, SIGAda '85.

Resolution with Merging.

Peter B. Andrews, David Luckham, 1970 .