Representing Null Values in Logic Programming. - Bonnie Traylor; Michael Gelfond (LFCS, 1994)

A bright side of NP-hardness of interval computations: interval heuristics applied to NP-problems. - Bonnie Traylor; Vladik Kreinovich (Reliab. Comput., 1995)