Ioannis Hatzilygeroudis Teaching NL to FOL and FOL to CF Conversions. 309-314 2007 conf/flairs/2007 FLAIRS Conference db/conf/flairs/flairs2007.html#Hatzilygeroudis07