JELIA94: How to Use Modalities and Sorts in Prolog, Andreas Nonnengart
Home page of the Max Planck Institute Person responsible for this page