Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Ziyad Hanna, Zurab Khasidashvili, Amit Palti, Roberto Sebastiani. Encoding RTL Constructs for MathSAT: a Preliminary Report. Electronic Notes in Theoretical Computer Science, 144(2):3-14, 2006. [doi]
Abstract is missing.