arXiv 2001-11-19 EN An Environment for the Exploration of Non Monotonic Logic Programs Castro, Luis F. · Warren, David S.
