[1] General Utility Library Program (->"IEEE Standard Dictionary")

[2] Graph Unification Logic Programming