Richard A. O'Keefe

Bibliography

Mycroft, Alan and O’Keefe, Richard A. 1984. “A Polymorphic Type System for PROLOG.” Artificial Intelligence 23(3): 295–307.