Explanation

Fighting was ended by a 1988 cease-fire, though the resumption of normal diplomatic relations and the withdrawal of troops did not take place until the signing of a formal peace agreement on August 16, 1990.