Proceedings of the 12th International Conference on Software Engineering and Knowledge Engineering (SEKE'2000)

• Balduccini, M.; Gelfond, M.; Nogueira, M. (2000) Balduccini, M.; Gelfond, M.; Nogueira, M. "A-Prolog as a tool for declarative programming"