$1'\]'[M!6<':`s - $1'_#!G+s ($1!4I!0a!+:s $1!4I!0a!9%':`!3K!JH!Na(B,s, 2005)
Keywords: Logic