Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Aït-Kaci, H., Nasr, R.: Login: A logic programming language with built-in inheritance. J. Logic Programming 3, 187–215 (1986)
2. Belleannée, C., Brisset, P., Ridoux, O.: A pragmatic reconstruction of λProlog. The Journal of Logic Programming 41, 67–102 (1999)
3. Bowman, C.M., Dharap, C., Baruah, M., Camargo, B., Potti, S.: A File System for Information Management. In: ISMM Int. Conf. Intelligent Information Management Systems (1994)
4. Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order. Cambridge University Press, Cambridge (1990)
5. Di Cosmo, R.: Deciding type isomorphisms in a type assignment framework. J. Functional Programming 3(3), 485–525 (1993)