Sitterson Hall

Algebraic Loop Detection and Evaluation Algorithms for Curve andSurface Interrogations

Sitterson Hall, 1996 .

Elemental Design Patterns : A Logical Inference System and Theorem Prover Support for Flexible Discovery of Design Patterns

D. Stotts, Sitterson Hall, J. Smith, 2002 .

Elemental Design Patterns : A Logical Inference System and Theorem Prover Support for Flexible Discovery of Design Patterns

D. Stotts, Sitterson Hall, J. Smith, 2002 .