TY - CONF TI - Logic-Based tools for legal contract drafting: prospects and problems AU - Δασκαλοπούλου, Ασπασία PY - 1997 SP - 213-222 PB - Πανεπιστήμιο Κύπρου T2 - Α' Πανελλήνιο Συμπόσιο Λογικής: πρακτικά ER -