Logic programming with typed unification and its realization on an abstract machine
IBM Journal of Research and Development
The work of Dean Rosenzweig: a tribute to a scientist and an innovator
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
The subject-oriented approach to software design and the abstract state machines method
Conceptual Modelling and Its Theoretical Foundations
Lightweight compilation of (c)lp to javascript*
Theory and Practice of Logic Programming
Hi-index | 0.00 |