"Advanced Decision Systems: description of the CODEX system as used for MUC-3."

Laura Blumer Balcom, Richard M. Tong (1991)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics