Detail

Publication date: 01/04/2000

Metaphorical Mapping consistency via Dynamic Logic Programming