Miroslav Truszczynski

• Logic Programming