TY - RPRT TI - Specifying Logic Programs in Controlled Natural Language AU - Norbert E. Fuchs AU - Rolf Schwitter PY - 1995 UR - https://arxiv.org/abs/cmp-lg/9507009 ID - cmp-lg/9507009 ER -