Coherence as constraint satisfaction : judicial reasoning support mechanism - Šavelka, Jaromír, 1985-