more KR 1998 ...
Copyright
home
flag
www-formal.stanford.edu
close