The Journal of Logic ProgrammingVolume 12, Issue 3, February 1992, Page 189IntroductionAuthor links open overlay panelPierre Lescanne, Wolfgang WechlerShow moreShareCitehttps://doi.org/10.1016/0743-1066(92)90023-VGet rights and contentUnder an Elsevier user licenseopen archivePrevious article in issueNext article in issueRecommended articlesCited by (0)Copyright © 1992 Published by Elsevier Inc. All rights reserved.