Minimal Revision of Logical Specification Using Extended Logic Programming: Preliminary Report Ken Satoh