A semantics for \(\lambda \)Prolog
scientific article; zbMATH DE number 983733
scientific article