Kristoffer H. Rose, Susan Malaika, et al.
IBM Systems Journal
No abstract available.
Kristoffer H. Rose, Susan Malaika, et al.
IBM Systems Journal
Kristoffer H. Rose
RTA 2011
Kristoffer H. Rose, Roel Bloo, et al.
Journal of Automated Reasoning
Kristoffer H. Rose
DocEng 2004