"CML"@cs . "Current mode logic"@cs .