Gelfond, Michael, and Lifschitz, Vladimir. 1990. Logic programs with classical negation. In Warren, D., and Szeredi, P., eds., Logic Programming: Proceedings of the Seventh International Conf., pp579?597

Languages mentioned

• Action Languages {1990}