Typeset in SV format for SGAI paper