The Use of Explicit Interpretation to Control Reasoning about Protein Topology. - Stephen Owen; Richard Hull II (ECAI, 1988)