Title: Implementation of PROLOG/GKS
First published: 1987