Variable order verification use of logic representation - Prasad, PWC; Singh, AK; Dominic, MM (2003)