Work

Problems and prospects for formally representing and reasoning about enemy courses of action