@misc {IOPORT.70309662,
    author       = {Wilson, Walter W.},
    title        = {Implementation of axiomatic language},
    howpublished = {ICLP (Technical Communications), 290-295 (2011).},
    year         = {2011},
    doi          = {10.4230/LIPIcs.ICLP.2011.290},
    identifier   = {70309662},
}