Sequential Operations in LogicWeb. - Dae-Seong Kang; Keehang Kwon; Zulkarnine Mahmud (CoRR, 2014)