ActionScript bytecode verification with co-logic programming. - Brian W. DeVries; Gopal Gupta 001; Kevin W. Hamlen; Scott Moore 001; Meera Sridhar (PLAS, 2009)

Infinite Computation, Co-induction and Computational Logic. - Gopal Gupta 001; Neda Saeedloei; Brian W. DeVries; Richard Min; Kyle Marple; Feliks Kluzniak (CALCO, 2011)