Title: FST TCS 2001
Subjects: Software engineering, Logic programming, Congresses, Computer science