Title: SYMBOLSK LOGIKK VED VERDISERIEMETODEN