@InProceedings{Wan85,
    Author       = "Wang, T-C.",
    Year         = "1985",
    Title        = "{Designing Examples for Semantically Guided Hierarchical
                    Deduction}",
    Editor       = "Joshi A.",
    BookTitle    = "{Proceedings of the 9th International Joint Conference on
                    Artificial Intelligence}",
    Place        = "Los Angeles, USA",
    Pages        = "1201-1207",
    Comment      = "TPTPRef, semantics"
}