John Funge Representing Knowledge within the Situation Calculus Using Interval-Valued Epistemic Fluents. [Citation Graph (0, 0)][DBLP] Reliable Computing, 1999, v:5, n:1, pp:35-61 [Journal]

Gerhard Heindl How to Guarantee Finite Termination of Verifying Global Optimization Codes. [Citation Graph (0, 0)][DBLP] Reliable Computing, 1999, v:5, n:1, pp:63-68 [Journal]

Olga Kosheleva, Vladik Kreinovich Error Estimation for Indirect Measurements: Interval Computation Problem Is (Slightly) Harder Than a Similar Probabilistic Computational Problem. [Citation Graph (0, 0)][DBLP] Reliable Computing, 1999, v:5, n:1, pp:81-95 [Journal]