Apologies for cross posting.
Gergely
ICLP 2012 - Latest Updates,
see http://cs.bme.hu/iclp2012 if links above do not work